increasing function theorem statement